OCaml でも採用されているレベルベースの多相型型推論とは
Hindley-Milner型推論の多相型への拡張の方法の1つであるレベルベースの手法について
OCaml でも採用されているレベルベースの多相型型推論とは - はやくプログラムになりたい